Shallow EDSLs and Object-Oriented Programming: Beyond Simple Compositionality

Component software - beyond object-oriented programming

Object-oriented Reactive Programming is Not Reactive Object-oriented Programming

According to chapter 3 of Abelson & Sussman [1], there are two fundamentally different ways to organise large systems: according to the objects that live in the system, or according to the streams of values that flow through the system. Even though the notions of “object” and “stream” have meanwhile taken many incarnations, the dichotomy still exists in modern programming languages. Marrying re...

Simple Type-Theoretic Foundations for Object-Oriented Programming

We develop a formal, type-theoretic account of the basic mechanisms of object-oriented programming: encapsulation, message passing, subtyping, and inheritance. By modeling object encapsulation in terms of existential types instead of the recursive records used in other recent studies, we obtain a substantial simpliication both in the model of objects and in the underlying typed-calculus.

Object-Oriented DBMS and Beyond

Over the past 10+ years, object-oriented database systems have gone a long way from research prototypes to commercial products to real-life mission-critical applications. Currently, we also witness the extension of relational systems with salient object features, resulting in so-called object-relational DBMS. In this paper, we introduce and review the salient features of both approaches , discu...

Object-Oriented Programming, Functional Programming and R

This paper reviews some programming techniques in R that have proved useful, particularly for substantial projects. These include several versions of object-oriented programming, used in a large number of R packages. The review tries to clarify the origins and ideas behind the various versions, each of which is valuable in the appropriate context. R has also been strongly influenced by the idea...